On Modelling and Simulating Open Pit Mine Through Stochastic Timed Petri Nets

Timed and Stochastic Model Checking of Petri Nets

my wife, for her encouraging love. my dear Grandfather, because he taught me the pride of being a mild man. and Arianna for the time we spent together ; Enrico and Katia for their psychological aid! and Dora because they love and believe me.

D–timed Petri Nets and Modelling of Timeouts and Protocols

D–timed Petri nets are Petri nets with deterministic firing times assigned to transitions of a net. Several classes of D–timed are discussed in this paper to show a hierarchy of models with increasing “modelling power”. Conflict–free inhibitor nets are sufficient to model communication protocols with timeouts used to recover from lost and/or distorted messages but they introduce intermediate st...

Stochastic Petri Nets: Modelling, Stability, Simulation

Linearly Unbounded Timed Petri Nets in Modelling and Performance Evaluation

Linearly unbounded timed Petri nets are free-choice place/transition nets with exponentially distributed firing times associated with transitions of a net, in which the infinite state space is generated by a finite set of linear equations. This linear description can be used for reduction of the infinite state space into an equivalent finite representation that can easily be solved for stationa...

Timed Petri Nets

In the early 60’s a young researcher in Darmstadt looked for a good representation for communicating systems processes that were mathematically sound and had, at the same time, a visual intuitive flavor. This event marked the beginning of a schematic approach that become very important to the modeling of distributed systems in several and distinct areas of knowledge, from Engineering to biologi...